type A = 1 extends 2 ? 3
